Postmortem Object Type Identification

نویسنده

  • Bryan Cantrill
چکیده

This paper presents a novel technique for the automatic type identification of arbitrary memory objects from a memory dump. Our motivating application is debugging memory corruption problems in optimized, production systems — a problem domain largely unserved by extant methodologies. We describe our algorithm as applicable to any typed language, and we discuss it with respect to the formidable obstacles posed by C. We describe the heuristics that we have developed to overcome these difficulties and achieve effective type identification on C-based systems. We further describe the implementation of our heuristics on one Cbased system — the Solaris operating system kernel — and describe the extensions that we have added to the Solaris postmortem debugger to allow for postmortem type identification. We show that our implementation yields a sufficiently high rate of type identification to be useful for debugging memory corruption problems. Finally, we discuss some of the novel automated debugging mechanisms that can be layered upon postmortem type identification.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interpretation of Ethanol Analysis in Postmortem Specimens

Since alcohol is a general central nervous system depressant, it affects the motor and cognitive performance. Alcohol abuse is a major cause of medical and social problems. Additionally, to determine cause of death in legal medicine centers, alcohol analysis is the most frequently performed test in forensic toxicology laboratories. Accurate interpretation of ethanol concentration at the time...

متن کامل

FAILURE MECHANISMS OF REFRACTORY LININGS FOR NONFERROUS FLASH SMELTING FURNACES

Although the flash smelting technologies use different furnace designs, the refractory linings are exposed to very similar aggressive environments and, as a result, the corrosion analysis results on one type of furnace could be generally applied to other furnaces of similar high temperature processes. Particularities regarding the different chemistries of the pyrometallurgical process and opera...

متن کامل

Object-Based Classification of UltraCamD Imagery for Identification of Tree Species in the Mixed Planted Forest

This study is a contribution to assess the high resolution digital aerial imagery for semi-automatic analysis of tree species identification. To maximize the benefit of such data, the object-based classification was conducted in a mixed forest plantation. Two subsets of an UltraCam D image were geometrically corrected using aero-triangulation method. Some appropriate transformations were perfor...

متن کامل

Objects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques

Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...

متن کامل

Hybrid method for full identification of buried objects and surrounding media

This study describes a hybrid technique for identification of buried objects. The object’s shape and electromagnetic profile are reconstructed from evaluations of electrical permittivity and conductivity. The method suggests a combination of linear sampling and optimization. Linear sampling method (LSM) is used to recover shape and metaheuristic optimizations essential to reconstruct the inside...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره cs.SE/0309037  شماره 

صفحات  -

تاریخ انتشار 2003